; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = sub i64 %"SymVar_0", 902749805
  %".5" = zext i64 %"SymVar_0" to i128
  %".6" = zext i64 0 to i128
  %".7" = shl i128 %".6", 64
  %".8" = or i128 %".5", %".7"
  %".9" = zext i64 7 to i128
  %".10" = udiv i128 %".8", %".9"
  %".11" = trunc i128 %".10" to i64
  %".12" = zext i8 3 to i64
  %".13" = and i64 %".12", 63
  %".14" = lshr i64 %".11", %".13"
  %".15" = and i64 15, %".14"
  %".16" = or i64 1, %".15"
  %".17" = sub i64 64, %".16"
  %".18" = trunc i64 %".17" to i32
  %".19" = zext i32 %".18" to i64
  %".20" = trunc i64 %".19" to i8
  %".21" = zext i8 %".20" to i64
  %".22" = and i64 %".21", 63
  %".23" = lshr i64 127996265, %".22"
  %".24" = zext i8 3 to i64
  %".25" = and i64 %".24", 63
  %".26" = lshr i64 %".11", %".25"
  %".27" = and i64 15, %".26"
  %".28" = or i64 1, %".27"
  %".29" = trunc i64 %".28" to i32
  %".30" = zext i32 %".29" to i64
  %".31" = trunc i64 %".30" to i8
  %".32" = zext i8 %".31" to i64
  %".33" = and i64 %".32", 63
  %".34" = shl i64 127996265, %".33"
  %".35" = or i64 %".23", %".34"
  %".36" = zext i8 4 to i64
  %".37" = and i64 %".36", 63
  %".38" = lshr i64 %".35", %".37"
  %".39" = and i64 15, %".38"
  %".40" = or i64 1, %".39"
  %".41" = sub i64 64, %".40"
  %".42" = trunc i64 %".41" to i8
  %".43" = zext i8 %".42" to i64
  %".44" = and i64 %".43", 63
  %".45" = lshr i64 %"SymVar_0", %".44"
  %".46" = zext i8 3 to i64
  %".47" = and i64 %".46", 63
  %".48" = lshr i64 %".11", %".47"
  %".49" = and i64 15, %".48"
  %".50" = or i64 1, %".49"
  %".51" = sub i64 64, %".50"
  %".52" = trunc i64 %".51" to i32
  %".53" = zext i32 %".52" to i64
  %".54" = trunc i64 %".53" to i8
  %".55" = zext i8 %".54" to i64
  %".56" = and i64 %".55", 63
  %".57" = lshr i64 127996265, %".56"
  %".58" = zext i8 3 to i64
  %".59" = and i64 %".58", 63
  %".60" = lshr i64 %".11", %".59"
  %".61" = and i64 15, %".60"
  %".62" = or i64 1, %".61"
  %".63" = trunc i64 %".62" to i32
  %".64" = zext i32 %".63" to i64
  %".65" = trunc i64 %".64" to i8
  %".66" = zext i8 %".65" to i64
  %".67" = and i64 %".66", 63
  %".68" = shl i64 127996265, %".67"
  %".69" = or i64 %".57", %".68"
  %".70" = zext i8 4 to i64
  %".71" = and i64 %".70", 63
  %".72" = lshr i64 %".69", %".71"
  %".73" = and i64 15, %".72"
  %".74" = or i64 1, %".73"
  %".75" = trunc i64 %".74" to i8
  %".76" = zext i8 %".75" to i64
  %".77" = and i64 %".76", 63
  %".78" = shl i64 %"SymVar_0", %".77"
  %".79" = or i64 %".45", %".78"
  %".80" = and i64 31, %".79"
  %".81" = zext i8 4 to i64
  %".82" = and i64 %".81", 63
  %".83" = shl i64 %".80", %".82"
  %".84" = or i64 %".83", %".11"
  %".85" = and i64 15, %".84"
  %".86" = zext i8 2 to i64
  %".87" = and i64 %".86", 63
  %".88" = shl i64 %".85", %".87"
  %".89" = or i64 %".88", %".84"
  %".90" = and i64 15, %".89"
  %".91" = or i64 1, %".90"
  %".92" = sub i64 64, %".91"
  %".93" = trunc i64 %".92" to i8
  %".94" = zext i8 %".93" to i64
  %".95" = and i64 %".94", 63
  %".96" = lshr i64 %".4", %".95"
  %".97" = and i64 15, %".89"
  %".98" = or i64 1, %".97"
  %".99" = trunc i64 %".98" to i32
  %".100" = zext i32 %".99" to i64
  %".101" = trunc i64 %".100" to i8
  %".102" = zext i8 %".101" to i64
  %".103" = and i64 %".102", 63
  %".104" = shl i64 %".4", %".103"
  %".105" = or i64 %".96", %".104"
  %".106" = sext i64 343000538 to i128
  %".107" = sub i64 %"SymVar_0", 696182945
  %".108" = sext i64 %".107" to i128
  %".109" = mul i128 %".106", %".108"
  %".110" = trunc i128 %".109" to i64
  %".111" = lshr i64 %".110", 16
  %".112" = trunc i64 %".111" to i8
  %".113" = zext i8 %".112" to i16
  %".114" = lshr i64 %".110", 24
  %".115" = trunc i64 %".114" to i8
  %".116" = zext i8 %".115" to i16
  %".117" = shl i16 %".116", 8
  %".118" = or i16 %".113", %".117"
  %".119" = zext i16 %".118" to i32
  %".120" = zext i32 %".119" to i64
  %".121" = trunc i64 %".120" to i16
  %".122" = zext i16 %".121" to i32
  %".123" = zext i32 %".122" to i64
  %".124" = trunc i64 %".123" to i16
  %".125" = zext i16 %".124" to i32
  %".126" = zext i32 %".125" to i64
  %".127" = trunc i64 %".126" to i16
  %".128" = zext i16 %".127" to i32
  %".129" = zext i32 %".128" to i64
  %".130" = trunc i64 %".129" to i16
  %".131" = trunc i16 %".130" to i8
  %".132" = zext i8 %".131" to i64
  %".133" = trunc i64 %".129" to i16
  %".134" = lshr i16 %".133", 8
  %".135" = trunc i16 %".134" to i8
  %".136" = zext i8 %".135" to i64
  %".137" = shl i64 %".136", 8
  %".138" = or i64 %".132", %".137"
  %".139" = lshr i64 %".110", 32
  %".140" = trunc i64 %".139" to i8
  %".141" = zext i8 %".140" to i16
  %".142" = lshr i64 %".110", 40
  %".143" = trunc i64 %".142" to i8
  %".144" = zext i8 %".143" to i16
  %".145" = shl i16 %".144", 8
  %".146" = or i16 %".141", %".145"
  %".147" = zext i16 %".146" to i32
  %".148" = zext i32 %".147" to i64
  %".149" = trunc i64 %".148" to i16
  %".150" = zext i16 %".149" to i32
  %".151" = zext i32 %".150" to i64
  %".152" = trunc i64 %".151" to i16
  %".153" = zext i16 %".152" to i32
  %".154" = zext i32 %".153" to i64
  %".155" = trunc i64 %".154" to i16
  %".156" = zext i16 %".155" to i32
  %".157" = zext i32 %".156" to i64
  %".158" = trunc i64 %".157" to i16
  %".159" = trunc i16 %".158" to i8
  %".160" = zext i8 %".159" to i64
  %".161" = shl i64 %".160", 16
  %".162" = or i64 %".138", %".161"
  %".163" = trunc i64 %".157" to i16
  %".164" = lshr i16 %".163", 8
  %".165" = trunc i16 %".164" to i8
  %".166" = zext i8 %".165" to i64
  %".167" = shl i64 %".166", 24
  %".168" = or i64 %".162", %".167"
  %".169" = lshr i64 %".110", 48
  %".170" = trunc i64 %".169" to i8
  %".171" = zext i8 %".170" to i16
  %".172" = lshr i64 %".110", 56
  %".173" = trunc i64 %".172" to i8
  %".174" = zext i8 %".173" to i16
  %".175" = shl i16 %".174", 8
  %".176" = or i16 %".171", %".175"
  %".177" = zext i16 %".176" to i32
  %".178" = zext i32 %".177" to i64
  %".179" = trunc i64 %".178" to i16
  %".180" = zext i16 %".179" to i32
  %".181" = zext i32 %".180" to i64
  %".182" = trunc i64 %".181" to i16
  %".183" = zext i16 %".182" to i32
  %".184" = zext i32 %".183" to i64
  %".185" = trunc i64 %".184" to i16
  %".186" = zext i16 %".185" to i32
  %".187" = zext i32 %".186" to i64
  %".188" = trunc i64 %".187" to i16
  %".189" = zext i16 %".188" to i32
  %".190" = zext i32 %".189" to i64
  %".191" = trunc i64 %".190" to i16
  %".192" = zext i16 %".191" to i32
  %".193" = zext i32 %".192" to i64
  %".194" = trunc i64 %".193" to i16
  %".195" = zext i16 %".194" to i32
  %".196" = zext i32 %".195" to i64
  %".197" = trunc i64 %".196" to i16
  %".198" = zext i16 %".197" to i32
  %".199" = zext i32 %".198" to i64
  %".200" = trunc i64 %".199" to i16
  %".201" = trunc i16 %".200" to i8
  %".202" = zext i8 %".201" to i64
  %".203" = shl i64 %".202", 32
  %".204" = or i64 %".168", %".203"
  %".205" = trunc i64 %".199" to i16
  %".206" = lshr i16 %".205", 8
  %".207" = trunc i16 %".206" to i8
  %".208" = zext i8 %".207" to i64
  %".209" = shl i64 %".208", 40
  %".210" = or i64 %".204", %".209"
  %".211" = trunc i64 %".110" to i8
  %".212" = zext i8 %".211" to i16
  %".213" = lshr i64 %".110", 8
  %".214" = trunc i64 %".213" to i8
  %".215" = zext i8 %".214" to i16
  %".216" = shl i16 %".215", 8
  %".217" = or i16 %".212", %".216"
  %".218" = zext i16 %".217" to i32
  %".219" = zext i32 %".218" to i64
  %".220" = trunc i64 %".219" to i16
  %".221" = zext i16 %".220" to i32
  %".222" = zext i32 %".221" to i64
  %".223" = trunc i64 %".222" to i16
  %".224" = trunc i16 %".223" to i8
  %".225" = zext i8 %".224" to i64
  %".226" = shl i64 %".225", 48
  %".227" = or i64 %".210", %".226"
  %".228" = trunc i64 %".222" to i16
  %".229" = lshr i16 %".228", 8
  %".230" = trunc i16 %".229" to i8
  %".231" = zext i8 %".230" to i64
  %".232" = shl i64 %".231", 56
  %".233" = or i64 %".227", %".232"
  %".234" = zext i8 2 to i64
  %".235" = and i64 %".234", 63
  %".236" = lshr i64 %".233", %".235"
  %".237" = and i64 15, %".236"
  %".238" = or i64 1, %".237"
  %".239" = sub i64 64, %".238"
  %".240" = trunc i64 %".239" to i32
  %".241" = zext i32 %".240" to i64
  %".242" = trunc i64 %".241" to i8
  %".243" = zext i8 %".242" to i64
  %".244" = and i64 %".243", 63
  %".245" = lshr i64 %".79", %".244"
  %".246" = zext i8 %".131" to i64
  %".247" = zext i8 %".135" to i64
  %".248" = shl i64 %".247", 8
  %".249" = or i64 %".246", %".248"
  %".250" = zext i8 %".159" to i64
  %".251" = shl i64 %".250", 16
  %".252" = or i64 %".249", %".251"
  %".253" = zext i8 %".165" to i64
  %".254" = shl i64 %".253", 24
  %".255" = or i64 %".252", %".254"
  %".256" = zext i8 %".201" to i64
  %".257" = shl i64 %".256", 32
  %".258" = or i64 %".255", %".257"
  %".259" = zext i8 %".207" to i64
  %".260" = shl i64 %".259", 40
  %".261" = or i64 %".258", %".260"
  %".262" = zext i8 %".224" to i64
  %".263" = shl i64 %".262", 48
  %".264" = or i64 %".261", %".263"
  %".265" = zext i8 %".230" to i64
  %".266" = shl i64 %".265", 56
  %".267" = or i64 %".264", %".266"
  %".268" = zext i8 2 to i64
  %".269" = and i64 %".268", 63
  %".270" = lshr i64 %".267", %".269"
  %".271" = and i64 15, %".270"
  %".272" = or i64 1, %".271"
  %".273" = trunc i64 %".272" to i32
  %".274" = zext i32 %".273" to i64
  %".275" = trunc i64 %".274" to i8
  %".276" = zext i8 %".275" to i64
  %".277" = and i64 %".276", 63
  %".278" = shl i64 %".79", %".277"
  %".279" = or i64 %".245", %".278"
  %".280" = zext i8 4 to i64
  %".281" = and i64 %".280", 63
  %".282" = lshr i64 %".279", %".281"
  %".283" = and i64 15, %".282"
  %".284" = or i64 1, %".283"
  %".285" = sub i64 64, %".284"
  %".286" = trunc i64 %".285" to i8
  %".287" = zext i8 %".286" to i64
  %".288" = and i64 %".287", 63
  %".289" = shl i64 %".105", %".288"
  %".290" = and i64 15, %".89"
  %".291" = or i64 1, %".290"
  %".292" = sub i64 64, %".291"
  %".293" = trunc i64 %".292" to i8
  %".294" = zext i8 %".293" to i64
  %".295" = and i64 %".294", 63
  %".296" = lshr i64 %".4", %".295"
  %".297" = and i64 15, %".89"
  %".298" = or i64 1, %".297"
  %".299" = trunc i64 %".298" to i32
  %".300" = zext i32 %".299" to i64
  %".301" = trunc i64 %".300" to i8
  %".302" = zext i8 %".301" to i64
  %".303" = and i64 %".302", 63
  %".304" = shl i64 %".4", %".303"
  %".305" = or i64 %".296", %".304"
  %".306" = zext i8 %".131" to i64
  %".307" = zext i8 %".135" to i64
  %".308" = shl i64 %".307", 8
  %".309" = or i64 %".306", %".308"
  %".310" = zext i8 %".159" to i64
  %".311" = shl i64 %".310", 16
  %".312" = or i64 %".309", %".311"
  %".313" = zext i8 %".165" to i64
  %".314" = shl i64 %".313", 24
  %".315" = or i64 %".312", %".314"
  %".316" = zext i8 %".201" to i64
  %".317" = shl i64 %".316", 32
  %".318" = or i64 %".315", %".317"
  %".319" = zext i8 %".207" to i64
  %".320" = shl i64 %".319", 40
  %".321" = or i64 %".318", %".320"
  %".322" = zext i8 %".224" to i64
  %".323" = shl i64 %".322", 48
  %".324" = or i64 %".321", %".323"
  %".325" = zext i8 %".230" to i64
  %".326" = shl i64 %".325", 56
  %".327" = or i64 %".324", %".326"
  %".328" = zext i8 2 to i64
  %".329" = and i64 %".328", 63
  %".330" = lshr i64 %".327", %".329"
  %".331" = and i64 15, %".330"
  %".332" = or i64 1, %".331"
  %".333" = sub i64 64, %".332"
  %".334" = trunc i64 %".333" to i32
  %".335" = zext i32 %".334" to i64
  %".336" = trunc i64 %".335" to i8
  %".337" = zext i8 %".336" to i64
  %".338" = and i64 %".337", 63
  %".339" = lshr i64 %".79", %".338"
  %".340" = zext i8 %".131" to i64
  %".341" = zext i8 %".135" to i64
  %".342" = shl i64 %".341", 8
  %".343" = or i64 %".340", %".342"
  %".344" = zext i8 %".159" to i64
  %".345" = shl i64 %".344", 16
  %".346" = or i64 %".343", %".345"
  %".347" = zext i8 %".165" to i64
  %".348" = shl i64 %".347", 24
  %".349" = or i64 %".346", %".348"
  %".350" = zext i8 %".201" to i64
  %".351" = shl i64 %".350", 32
  %".352" = or i64 %".349", %".351"
  %".353" = zext i8 %".207" to i64
  %".354" = shl i64 %".353", 40
  %".355" = or i64 %".352", %".354"
  %".356" = zext i8 %".224" to i64
  %".357" = shl i64 %".356", 48
  %".358" = or i64 %".355", %".357"
  %".359" = zext i8 %".230" to i64
  %".360" = shl i64 %".359", 56
  %".361" = or i64 %".358", %".360"
  %".362" = zext i8 2 to i64
  %".363" = and i64 %".362", 63
  %".364" = lshr i64 %".361", %".363"
  %".365" = and i64 15, %".364"
  %".366" = or i64 1, %".365"
  %".367" = trunc i64 %".366" to i32
  %".368" = zext i32 %".367" to i64
  %".369" = trunc i64 %".368" to i8
  %".370" = zext i8 %".369" to i64
  %".371" = and i64 %".370", 63
  %".372" = shl i64 %".79", %".371"
  %".373" = or i64 %".339", %".372"
  %".374" = zext i8 4 to i64
  %".375" = and i64 %".374", 63
  %".376" = lshr i64 %".373", %".375"
  %".377" = and i64 15, %".376"
  %".378" = or i64 1, %".377"
  %".379" = trunc i64 %".378" to i8
  %".380" = zext i8 %".379" to i64
  %".381" = and i64 %".380", 63
  %".382" = lshr i64 %".305", %".381"
  %".383" = or i64 %".289", %".382"
  ret i64 %".383"
}
